An old and well-known objection to non-classical logics is that they are too weak; in particular, they cannot prove a number of important mathematical results. A promising strategy to deal with this objection consists in proving so-called recapture results. Roughly, these results show that classical logic can be used in mathematics and other unproblematic contexts. However, the strategy faces some potential problems. First, typical recapture results are formulated in a purely logical language, and do not generalize nicely to languages containing (...) the kind of vocabulary that usually motivates non-classical theories—for example, a language containing a naïve truth predicate. Second, proofs of recapture results typically employ classical principles that are not valid in the targeted non-classical system; hence, non-classical theorists do not seem entitled to those results. In this paper, we analyze these problems and provide solutions on behalf of non-classical theorists. To address the first problem, we provide a novel kind of recapture result, which generalizes nicely to a truth-theoretic language. As for the second problem, we argue that it relies on an ambiguity and that, once the ambiguity is removed, there are no reasons to think that non-classical logicians are not entitled to their recapture results. (shrink)

The infinitary function of the truth predicate consists in its ability to express infinite conjunctions and disjunctions. A transparency principle for truth states the equivalence between a sentence and its truth predication; it requires an introduction principle—which allows the inference from “snow is white” to “the sentence ‘snow is white’ is true”—and an elimination principle—which allows the inference from “the sentence ‘snow is white’ is true” to “snow is white”. It is commonly assumed that a theory of truth needs to (...) satisfy a transparency principle to fulfil the infinitary function. Picollo and Schindler (Erkenntnis 83:899–928, 2017) argue against this idea. They prove that, given certain assumptions, an elimination principle is sufficient for the purpose. Then, they pose a challenge: to show why we should incorporate introduction principles to our theory of truth. In this essay I take on the challenge. I show that, given the authors’ assumptions, an introduction principle is also sufficient to perform the infinitary function. (shrink)

Connexive logics are based on two ideas: that no statement entails or is entailed by its own negation (this is Aristotle’s thesis) and that no statement entails both something and the negation of this very thing (this is Boethius' thesis). Usually, connexive logics are contra-classical. In this note, I introduce a reading of the connexive theses that makes them compatible with classical logic. According to this reading, the theses in question do not talk about validity alone; rather, they talk in (...) part about (a property related to) the soundness of arguments. (shrink)

Locating the history of male honour in the perspective of his philosophical anthropology, Mandeville is able to show that the rituals of modern honour are an exemplary expression of that spontaneous, artificial order stemming out of a natural disposition of human passions. For Mandeville, duelling provides decisive evidence that the desire for approval from others, even at the cost of one's life, is a dominant motive in man's behaviour. The aim of this paper is to review selected Scottish responses to (...) the questions raised by Mandeville's views on ‘Modern Honour’ and his provocative defense of duelling. (shrink)

Locating the history of male honour in the perspective of his philosophical anthropology, Mandeville is able to show that the rituals of modern honour are an exemplary expression of that spontaneous, artificial order stemming out of a natural disposition of human passions. For Mandeville, duelling provides decisive evidence that the desire for approval from others, even at the cost of one's life, is a dominant motive in man's behaviour. The aim of this paper is to review selected Scottish responses to (...) the questions raised by Mandeville's views on ‘Modern Honour’ and his provocative defense of duelling. (shrink)

Este artigo tem como objetivo rever a crítica que Peirce faz a uma definição de abdução como uma relação de probabilidade a partir das características. Parece consensual entre seus comentadores que, de fato, essa definição não se adequa ao conceito peirciano. Contudo, este artigo defende que não há uma desarmonia entre abdução e uma relação de probabilidade. Ao contrário, será defendido que, sendo a abdução composta de formação e seleção de hipóteses, essa relação de probabilidade poderia ter uma função na (...) parte de seleção de hipóteses. Para isso, será apresentada uma definição básica de abdução, seguida da proposta de relação de probabilidade entre características. As críticas a essa proposta serão apresentadas e será evidenciado que não se sustentam, abrindo, assim, a possibilidade da permanência dessa característica no conceito de abdução peirciana. (shrink)

A reading of the Anglo-Dutch physician and thinker’s philosophical project from the hitherto neglected perspective of his lifelong interest in the theme of honour.

When logicians work with multiple-conclusion systems, they use a metalinguistic comma ‘,’ to aggregate premises and/or conclusions. In this note, I present an analogy between this comma and Prior’s infamous connective tonk. The analogy reveals that these expressions have much in common. I argue that, indeed, the comma can be seen as a structural incarnation of tonk. The upshot is that, whatever story one has to tell about tonk, there are good reasons to tell a similar story about the comma (...) in typical multiple-conclusion systems, and vice versa. (shrink)

In this essay I will discuss the therapeutic application of philosophy in treating what I term “the moral casualties of war.” In doing so, I will develop an etiology of moral injury and focus upon the philosophical reasoning and insights that may be applied in an individual or group setting to foster an understanding of the warexperience as the first treatment step in a long and complex journey to healing.

In this essay I will discuss the therapeutic application of philosophy in treating what I term “the moral casualties of war.” In doing so, I will develop an etiology of moral injury and focus upon the philosophical reasoning and insights that may be applied in an individual or group setting to foster an understanding of the warexperience as the first treatment step in a long and complex journey to healing.

1. Le fe por la palabra -- 2. Topía y Utopía -- 3. Luz en la caverna.

This collection of essays explores the history of the book in pre-modern South Asia looking at the production, circulation, fruition and preservation of manuscripts in different areas and across time. Edited by the team of the Cambridge-based Sanskrit Manuscripts Project and including contributions of the researchers who collaborated with it, it covers a wide range of topics related to South Asian manuscript culture: from the material dimension and the complicated interactions of manuscripts with printing in late medieval Tibet and in (...) modern Tamil Nadu, to reading, writing, editing and educational practices, from manuscripts as sources for the study of religious, literary and intellectual traditions, to the creation of collections in medieval India and Cambodia, and the formation of the Cambridge collections in the colonial period. The contributions reflect the variety of idioms, literary genres, religious movements, and social actors of ancient South Asia, as well as the variety of approaches, interests and specialisms of the authors, and their impassionate engagement with manuscripts. (shrink)

Narrative medicine explores the stories that patients tell; this paper, conversely, looks at some of the stories that patients are told. The paper starts by examining the ‘story’ told by the Shambaa people of Tanzania to explain the bubonic plague and contrasts this with the stories told by Ghanaian communities to explain lymphatic filariasis. By harnessing insights from memory studies, these stories’ memorability is claimed to be due to their use mnemonic devices woven into stories. The paper suggests that stories (...) can be unpatronising, informative, and appropriate vehicles for communicating medical information to all age groups across all cultures. (shrink)

A metainference is usually understood as a pair consisting of a collection of inferences, called premises, and a single inference, called conclusion. In the last few years, much attention has been paid to the study of metainferences—and, in particular, to the question of what are the valid metainferences of a given logic. So far, however, this study has been done in quite a poor language. Our usual sequent calculi have no way to represent, e.g. negations, disjunctions or conjunctions of inferences. (...) In this paper we tackle this expressive issue. We assume some background sentential language as given and define what we call an inferential language, that is, a language whose atomic formulas are inferences. We provide a model-theoretic characterization of validity for this language—relative to some given characterization of validity for the background sentential language—and provide a proof-theoretic analysis of validity. We argue that our novel language has fruitful philosophical applications. Lastly, we generalize some of our definitions and results to arbitrary metainferential levels. (shrink)

Aristóteles comparte con Platón la concepción de la forma como causa del ser y del conocimiento de las cosas. Sin embargo, un análisis de sus críticas a las Ideas muestra que encuentra en la separación de las Ideas y las cosas sensibles la aporía fundamental de la teoría platónica. Con el propósito de circunscribir el significado de “separación” aplicable a las Ideas, concentraremos nuestro estudio en dos objeciones: 1) el argumento que conduce al tercer hombre y 2) la inutilidad de (...) las Ideas como causas. En el primer caso, creemos que la separación entraña homonimia, por lo que la solución aristotélica implicará la comunidad de naturaleza entre el individuo y su esencia. En el segundo, la separación implica trascendencia o falta de contacto entre generante y generado, por lo que la solución aristotélica apuntará a concebir la forma de las entidades naturales como un principio inmanente, inseparable de la materia y del movimiento, pero a la vez eterno a través de su reproducción en otros individuos de la misma especie. Creemos que en ambas soluciones opera un principio de sinonimia, que constituye su propia contribución al problema de la separación. (shrink)

v. 1. Presentazione de Biagia Catanzaro Gligora -- v. 2. Logica, totalità-reale e realtà -- v. 3. Anima e coscienza.

Publicado por primera vez en 1982 y merecedor del Premio Nacional de Ensayo en 1983, Lo bello y lo siniestro es un texto imprescindible para comprender la historia de las ideas estéticas y de la teoría del arte. Mediante el análisis de obras diversas -desde las pinturas renacentistas de Sandro Botticelli hasta la célebre película Vertigo de Alfred Hitchcock- el genial filósofo valora la evolución histórica de dos categorías estéticas opuestas, lo bello y lo siniestro, para descubrir lo que ambas (...) tienen de sublime. Eugenio Trías persigue y consigue incansablemente para ofrecer al lector uno de los ensayos más descollantes de nuestro tiempo. (shrink)

Saul Kripke proposed a skeptical challenge that Romina Padró defended and popularized by the name of the Adoption Problem. The challenge is that, given a certain definition of adoption, there are some logical principles that cannot be adopted—paradigmatic cases being Universal Instantiation and Modus Ponens. Kripke has used the Adoption Problem to argue that there is an important sense in which logic is not revisable. In this essay, I defend two independent claims. First, that the Adoption Problem does not entail (...) that logic is never revisable in the sense that Kripke addresses. Second, that, to assess whether an agent can revise their logic in the sense that Kripke addresses, it is best to consider a different definition of adoption, according to which Universal Instantiation and Modus Ponens are sometimes adoptable. (shrink)

We introduce a suitable notion of eight-shaped curve in the product S × ℝ of a Suslin line S for the real line ℝ, and we prove that if S is dense in itself, then every collection of pairwise disjoint eight-shaped curves in S × ℝ is countable. This parallels a folklore result which holds for the real plane.

The use of critical exposition of previous doctrines is a methodological procedure usual in Aristotle. But the distinctive characteristic of Book I of the Metaphysics is that, rather than to establish a new doctrine, a review of predecessors serves to confirm the own concepts to be used in the evaluation of the doctrines examined. This imposition of own terms has cost him the charge of distorting historical understanding. With the detailed analysis of the criticisms of Plato's theory of Ideas in (...) Metaphysics I, 9, we intend to show a) that the criticism of manipulation and distortion of his predecessors' views overshadow the degree to which Aristotle's own positions emerge from a critical review of previous thought and b) that the imposition of own terms does not suppose a distortion but a proposal of solution to the problems that previous theories have left unresolved. (shrink)

Conventional quantitative methods for the measurement of organizational legitimacy consider mainly three sources that make judgments about organizations visible: news media, accreditation bodies, and surveys. Over the last decade, however, social media have enabled ordinary citizens to bypass the gatekeeping function of these institutional evaluators and autonomously make individual judgments public. This inclusion of voices beyond functional and formally organized stakeholder groups potentially pluralizes the ongoing discussions about organizations. The individual judgments in blogs, tweets, and Facebook posts give indication about (...) the broader fit between an organization’s perceived behavior and heterogeneous social norms and therefore constitute an indicator of organizational legitimacy that can be accessed and measured. We propose the use of social media data and sentiment analysis to study the affect-based responses to organizational actions by citizens. We critically discuss and compare the method with existing quantitative methods for legitimacy measurement and apply them to a recent case in the banking industry. We discuss the value of the method for studying the process of legitimacy construction as the expression and negotiation of normative judgments about organizations by various evaluators. (shrink)

Bernard Mandeville iniciou sua anatomia filosófica da relatividade dos valores humanos com as mulheres, e ao longo de seus escritos manteve um grande interesse no estatuto e capacidades das mulheres e no duplo padrão imposto a mulheres e homens em muitas áreas da vida, tornando-a uma perspectiva exemplar da sociabilidade humana. O ensaio traça o desenvolvimento dos argumentos de Mandeville sobre as mulheres nas suas obras e examina o papel desempenhado pela sua reflexão sobre a castidade no contexto de sua (...) explicação das virtudes artificiais. (shrink)

In this work I argue that Descartes was not a trialist by showing that the main tenets of trialist interpretations of Descartes's theory of substance are either not supported by the text or are not sufficient for establishing the trialist interpretation.

Some important ideas in Kelsen's Pure Theory of Law can be traced back to Kantian tradition, which has been very influential in Kelsen's thought, particularly in his early period. Among them we find the distinction between two radically different worlds (the world of facts and the world of norms), the normativity of legal science and the idea of validity as a binding force, based on the famous doctrine of the basic norm. These tenets and, especially, the use of a normative (...) concept of validity prove to be incompatible with Kelsen's positivistic programme of a value‐free legal science. The science of law cannot state that legal norms are obligatory or binding without trespassing the limits of Kelsen's ideal of a legal science; on the other hand, it is possible to define the concept of a legal system without resorting to the basic norm. So, if Kelsen is to be regarded as a consequent positivist, the Kantian ingredients of his theory must be rejected and the descriptive concept of validity as membership must be substituted for the normative notion of validity as a binding force. (shrink)

Recently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of "increasingly classical" logics—that is, logics that are classical at the level of inferences and of increasingly higher metainferences—all of which admit a transparent truth predicate. In this paper, we extend this line of investigation by taking a somehow (...) different route. We explore logics that are different from classical logic at the level of inferences, but recover some important aspects of classical logic at every metainferential level. We dub such systems meta-classical non-classical logics. We argue that the systems presented deserve to be regarded as logics in their own right and, moreover, are potentially useful for the non-classical logician. (shrink)

This paper criticizes Alexy's argument on the necessary connection between law and morality. First of all, the author discusses some aspects of the notion of the claim to correctness. Basically, it is highly doubtful that all legal authorities share the same idea of moral correctness. Secondly, the author argues that the claim to correctness is not a defining characteristic of the concepts of “legal norm” and “legal system”. Hence, the thesis of a necessary connection between law and morality based on (...) such claim cannot be accepted. (shrink)

In 1911 the Wilson cloud chamber opened new possibilities for physics pedagogy. The instrument, which visualized particles’ tracks as trails of condensed vapour, was adopted by physicists to pursue frontier research on the Compton effect, the positron and the transmutation of atomic nuclei. But as the present paper will show, Wilson's instrument did not just open up new research opportunities, but the possibility of developing a different kind of teaching. Equipped with a powerful visualization tool, some physicists–teachers employed Wilson's instrument (...) to introduce their students to a wide range of phenomena and concepts, ranging from the behaviour of clouds to Einstein's photon, the wave–particle duality and the understanding of the nucleus. This paper uses the notes, books and prototypes of these pioneering physicists–teachers to compose a pedagogical history of the Wilson cloud chamber, documenting an episode of immense ingenuity, creativity and scientific imagination. (shrink)

In [8] it is proved that all the intermediate logics axiomatizable by formulas in one variable, except four of them, are not strongly complete. We considerably improve this result by showing that all the intermediate logics axiomatizable by formulas in one variable, except eight of them, are not strongly ω-complete. Thus, a definitive classification of such logics with respect to the notions of canonicity, strong completeness, ω-canonicity and strong ω-completeness is given.

The article presents a preliminary survey of textual reuse in Nepalese collections of j?takas and avad?nas, focusing in particular on three works: the Avad?na?ataka, the Divy?vad?na, and the Dv?vi??atyavad?nakath?. The reassessment of the manuscript tradition of these three Sanskrit collections, based on Nepalese manuscripts and Tibetan translations, sheds more light on the role of scribes in the creation of these collections and of the Nepalese avad?nam?l? literature. In particular, the great role played in the 17th century by the Nepalese scribe (...) and scholar Jayamuni in shaping the text of the Avad?na?ataka, the Divy?vad?na, and many other Buddhist narrative works is brought to light. The result of this preliminary survey shows that a study of this type of collections based on the available critical editions should be rethought in the light of the specific character of their manuscript and textual transmission in medieval and early modern Nepal. (shrink)